TSTP Solution File: ALG267^1 by SRASS---0.1